Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
951	arXiv:1408.3590v1 [cs.DS] 15 AugComplexity of Nondeterministic Graph Parameter Testing Marek Karpinski∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-08-17 20:53:27 Ordinary differential equations Lemmas Szemerédi regularity lemma Graph coloring Euler–Lagrange equation Algorithmic version for Szemerédi regularity partition Approximately finite dimensional C*-algebra Mathematics Graph theory Theoretical computer science
952	Lower Bounds for Context-Free Grammars Yuval Filmusa,1,∗ a University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-04-19 22:24:10 Applied mathematics Context-free grammar Regular language Constructible universe Formal grammar Controlled grammar Theorems and definitions in linear algebra Formal languages Mathematics Theoretical computer science
953	A Expressive Languages for Path Queries over Graph-Structured Data ´ , University of Chile PABLO BARCELO LEONID LIBKIN, University of Edinburgh ANTHONY W. LIN, Univerity of Oxford Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-12-12 09:23:41 Metalogic Model theory Structure Universal algebra FO String Orbifold Conjunctive query Mathematics Formal languages Theoretical computer science
954	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
955	Implementing and Automating complex arithmetic in quantomatic Benjamin Frot Thesis submitted to The University of Oxford for the degree of Master of Science Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-09-05 13:01:48 Mathematics Categorical quantum mechanics Braided monoidal category Monoid Qubit Quantum teleportation Lambda calculus Quantum computer Frobenius algebra Category theory Monoidal categories Algebra
956	SCRIPTA MANENT ...written words endure Publishing Computational Mathematics Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-12-15 12:45:30 Applied mathematics Computer algebra Axiom Algorithm Risch algorithm Computational mathematics Computer algebra system Algorithm characterizations Mathematics Software Theoretical computer science
957	L2AP: Fast Cosine Similarity Search With Prefix L-2 Norm Bounds David C. Anastasiu and George Karypis Department of Computer Science and Engineering University of Minnesota, Twin Cities, MN 55455, U.S.A. {dragos, karypis Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2013-11-11 00:51:40 Information retrieval Abstract algebra Vectors Numerical analysis Nearest neighbor search Euclidean vector Dot product Cosine similarity Vector space Algebra Mathematics Linear algebra
958	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra
959	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
960	MAGMA (Matrix Algebra on GPU and Multicore Architectures) is a collection of next generation linear algebra libraries for heterogeneous architectures. MAGMA is designed and implemented by the team that developed LAPACK a Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2014-11-15 21:25:43 Mathematics Numerical software GPGPU Basic Linear Algebra Subprograms LAPACK Magma computer algebra system OpenCL LU decomposition Preconditioner Algebra Numerical linear algebra Numerical analysis

UPDATE